Smooth coalgebra: testing vector analysis
نویسندگان
چکیده
منابع مشابه
Smooth coalgebra: testing vector analysis
Processes are often viewed as coalgebras, with the structure maps specifying the state transitions. In the simplest case, the state spaces are discrete, and the structure map simply takes each state to the next states. But the coalgebraic view is also quite effective for studying processes over structured state spaces, e.g. measurable, or continuous. In the present paper we consider coalgebras ...
متن کاملSmooth Support Vector Machines
Smoothing methods, extensively used for solving important mathematical programming problems and applications, are proposed here to generate and solve an unconstrained smooth reformulation of support vector machines for pattern classification using completely arbitrary kernels. We term such reformulations smooth support vector machines (SSVMs). A fast Newton-Armijo algorithm for solving the SSVM...
متن کاملKleene Coalgebra – an overview
Coalgebras provide a uniform framework for the study of dynamical systems, including several types of automata. The coalgebraic view on systems has recently been proved relevant by the development of a number of expression calculi which generalize classical results by Kleene, on regular expressions, and by Kozen, on Kleene algebra. This note contains an overview of the motivation and results of...
متن کاملSome Higher Coalgebra
Using the derived algebraic formalism of Lurie we describe a framework for coalgebraic structures which are neither necessarily commutative nor cocommutative. We show that Thom spectra and homotopical descent data are both natural examples of this kind of structure.
متن کاملLocally coalgebra-Galois extensions
The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension, generalising concepts from [9]. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of tw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2015
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129515000511